template<typename ... A, int ... B>
struct foo1 : foo1<A ..., (sizeof...(A)+B)...>
{
	foo1() {
		int x = sizeof...(A);
	}
};

template<int ... X> int bar1()
{
	auto s = sizeof...(X);
	chomp(X)...;
	return X+...;
}

template<class R, typename ... Args>
void call1v(R (*fp)(Args ...));

template<class R, typename ... Args>
void call1p(R (*fp)(Args* ...));

template<class R, typename ... Args>
void call1r(R (*fp)(Args&& ...));

template<class R, typename ... Args>
struct invoke1v : invoke<R (*)(Args ...)>
{
};

template<class R, typename ... Args>
struct invoke1p : invoke<R (*)(Args* ...)>
{
};

template<class R, typename ... Args>
struct invoke1r : invoke<R (*)(Args&& ...)>
{
};

template  <  typename  ... A, int ... B  >
struct foo2 :  foo2  <  A ..., (  sizeof  ...  (  A  )  +  B  )  ...  >
{
	foo2() {
		int x = sizeof  ...  (  A  );
	}
};

template  <  int ... X  > int bar2()
{
	auto s = sizeof  ...  (  X  );
	chomp(  X  )  ...;
	return X  +  ...;
}

template  <  class R, typename  ... Args  >
void call2v(  R (  *fp  )(  Args ...  )  );

template  <  class R, typename  ... Args  >
void call2p(  R (  *fp  )(  Args  * ...  )  );

template  <  class R, typename  ... Args  >
void call2r(  R (  *fp  )(  Args  && ...  )  );

template  <  class R, typename  ... Args  >
struct invoke2v :  invoke  <  R (  *  )(  Args ...  )  >
{
};

template  <  class R, typename  ... Args  >
struct invoke2p :  invoke  <  R (  *  )(  Args  * ...  )  >
{
};

template  <  class R, typename  ... Args  >
struct invoke2r :  invoke  <  R (  *  )(  Args  && ...  )  >
{
};
